x . x): Int -> Int Bool -> Bool (a->b) -> (a->b)but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some {type variable}. The principal type of an expression can be computed from those of its subexpressions by Robinson's unification algorithm.(1994-12-16)algorithm.(1994-12-16)……">

翻訳と辞書 Words near each other ・ primary key ・ primary management domain ・ primary rate interface ・ primary storage ・ prime computer ・ prime number theorem ・ prime time ・ primenet, inc. ・ primitive ・ princeton university ・ principal type ・ print ・ print i ・ print server ・ print services facility ・ printed circuit board ・ printer ・ printer access protocol ・ printer port ・ printf Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク principal type ： FOLDOC principal type The most general type of an expression. For example, the following are all valid types for the lambda abstraction ( x . x): Int -> Int Bool -> Bool (a->b) -> (a->b) but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some {type variable}. The principal type of an expression can be computed from those of its subexpressions by Robinson's unification algorithm. (1994-12-16) algorithm. (1994-12-16) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.